Process calculus - PDFSEARCH.IO - Document Search Engine

Process calculus
Results: 249

#	Item
21	process calculi “process calculus” means two things: Process Calculi for web services Add to Reading List Source URL: www.wischik.com Language: English - Date: 2003-03-13 09:50:06 Process calculi Theoretical computer science Computing Software Formal methods Process calculus -calculus Bisimulation Join-calculus Reconfigurability Microsoft BizTalk Server Tea
22	A POSSIBLE DEFINITION OF A STATIONARY TANGENT U. KEICH Abstract. This paper oﬀers a way to construct a locally optimal stationary approximation for a non-stationary Gaussian process. In cases where this construction le Add to Reading List Source URL: www.maths.usyd.edu.au Language: English - Date: 2000-10-26 15:20:02 Mathematics Geometry Differential geometry Space Surfaces Curves Multivariable calculus Curvature Differential geometry of curves FrenetSerret formulas Normal Sphere
23	The Bio-PEPA Workbench The Bio-PEPA Eclipse Plug-in The Bio-PEPA Tool Suite Jane Hillston Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-10-09 05:09:59 Software Jane Hillston Process calculi PEPA Hillston New South Wales Workbench Eclipse Informatics Process calculus
24	Introduction Bio-PEPA Bio-PEPAd Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-11-02 11:12:32 PEPA Process calculi Jane Hillston Process calculus
25	To appear in MFCSAvailable online from http://www.cl.cam.ac.uk/∼ljw1004 Explicit Fusions Philippa Gardner and Lucian Wischik∗ June 2000 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:52:59 Theoretical computer science Mathematical logic Logic Formal methods Logic in computer science Process calculi -calculus Computability theory Process calculus Lambda calculus Bisimulation Calculus
26	Adaptive Multi-Agent Programming in GTGolog Alberto Finzi1, 2 and Thomas Lukasiewicz2, 1 1 2 Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2006-05-24 10:11:01 Mathematical analysis Mathematical logic Logic Dynamic programming Markov decision process Stochastic control Constructible universe Situation calculus First-order logic Distribution
27	http://www.wischik.com/lu/research/oldnames.html Old Names for Nu Lucian Wischik, Microsoft. JuneAbstract. There is a gap between theory and implementation of the pi Add to Reading List Source URL: www.wischik.com Language: English - Date: 2005-01-27 16:22:38 Mathematics Theoretical computer science Logic Abstraction Process calculi -calculus Lambda calculus Process calculus Limit of a function Quantifier Sheaf Jet bundle
28	Introduction Compositionality: Interaction and Independence Applications and Acceptance Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-27 05:39:14 Process calculi Jane Hillston PEPA Laboratory for Foundations of Computer Science Markov chain Principle of compositionality Process calculus Edinburgh Philosophy Theoretical computer science
29	Introduction Interplay: Process Algebra and Markov Process Applications Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-27 05:37:50 Process calculi Jane Hillston PEPA Markov chain Laboratory for Foundations of Computer Science Process calculus Algebra Edinburgh Theoretical computer science Mathematics TAPAs model checker
30	Integrated Analysis from Abstract Stochastic Process Algebra Models Jane Hillston. University of Edinburgh. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-10-17 04:53:23 Process calculi Theoretical computer science Formal methods Metaphor Simulation PEPA Jane Hillston Scientific modelling Stochastic Process calculus Economic model Semantics